Verification of temporal-causal network models by mathematical analysis
نویسندگان
چکیده
منابع مشابه
analysis of power in the network society
اندیشمندان و صاحب نظران علوم اجتماعی بر این باورند که مرحله تازه ای در تاریخ جوامع بشری اغاز شده است. ویژگیهای این جامعه نو را می توان پدیده هایی از جمله اقتصاد اطلاعاتی جهانی ، هندسه متغیر شبکه ای، فرهنگ مجاز واقعی ، توسعه حیرت انگیز فناوری های دیجیتال، خدمات پیوسته و نیز فشردگی زمان و مکان برشمرد. از سوی دیگر قدرت به عنوان موضوع اصلی علم سیاست جایگاه مهمی در روابط انسانی دارد، قدرت و بازتولید...
15 صفحه اولCausal Explanation from Mathematical Models
Decision support systems may require the use of existing complex mathematical models. It is desirable to reduce the equations of such a model to an explanatory causal form to support decision making, for example in making decisions about the greenhouse effect. This paper presents an approach to constructing causal explanation from existing complex mathematical models. The method combines inform...
متن کاملModelling and analysis of the dynamics of adaptive temporal–causal network models for evolving social interactions
Background Network-Oriented Modelling based on adaptive temporal-causal networks provides a unified approach to model and analyse dynamics and adaptivity of various processes, including mental and social interaction processes. Methods Adaptive temporal-causal network models are based on causal relations by which the states in the network change over time, and these causal relations are adapti...
متن کاملCausal Models Frame 1 Running head: CAUSAL INTERPRETATION OF EQUATIONS Causal Models Frame Interpretation of Mathematical Equations
We offer evidence that people construe mathematical relations as causal. The studies show that people can select the causal versions of equations, and that their selections predict both what they consider most understandable and their expectations of change. When asked to write down equations, people have a strong preference for the version that matches their causal model. Causal Models Frame 3...
متن کاملTemporal Deductive Verification of Basic ASM Models
Abstract State Machines (ASMs, for short) provide a practical new computational model which has been applied in the area of software engineering for systems design and analysis. However, reasoning about ASM models occurs, not within a formal deductive system, but basically in the classical informal proofs style of mathematics. Several formal verification approaches for proving correctness of AS...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Vietnam Journal of Computer Science
سال: 2016
ISSN: 2196-8888,2196-8896
DOI: 10.1007/s40595-016-0067-z